A weak Zassenhaus Lemma for discrete subgroups of Diff(I)
نویسندگان
چکیده
منابع مشابه
A Discrete Farkas Lemma
Given A ∈ Zm×n and b ∈ Zm, we consider the issue of existence of a nonnegative integral solution x ∈ Nn to the system of linear equations Ax = b. We provide a discrete and explicit analogue of the celebrated Farkas lemma for linear systems in Rn and prove that checking existence of integral solutions reduces to solving an explicit linear programming problem of fixed dimension, known in advance.
متن کاملWeak Positivity and Dyson’s Lemma
We give a proof of Dyson’s Lemma for a product of smooth projective varieties of arbitrary dimension.
متن کاملOn uniform weak König's lemma
The so-called weak König’s lemma WKL asserts the existence of an infinite path b in any infinite binary tree (given by a representing function f). Based on this principle one can formulate subsystems of higher-order arithmetic which allow to carry out very substantial parts of classical mathematics but are Π2-conservative over primitive recursive arithmetic PRA (and even weaker fragments of ari...
متن کاملSeparation and Weak König's Lemma
We continue the work of [14, 3, 1, 19, 16, 4, 12, 11, 20] investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem for open convex sets is equivalent to WKL0 over RCA0. We show that the separation theorem for separably closed convex sets is equivalent to ACA0 over RCA0. Our strategy for proving these geometrical Hahn–Banach...
متن کاملDiscrete Poincaré lemma
This paper proves a discrete analogue of the Poincaré lemma in the context of a discrete exterior calculus based on simplicial cochains. The proof requires the construction of a generalized cone operator, p :Ck(K)→ Ck+1(K), as the geometric cone of a simplex cannot, in general, be interpreted as a chain in the simplicial complex. The corresponding cocone operator H :Ck(K)→ Ck−1(K) can be shown ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebraic & Geometric Topology
سال: 2014
ISSN: 1472-2739,1472-2747
DOI: 10.2140/agt.2014.14.539